Features of the Gnu Ada Runtime LibraryDraftABSTRACTThe

The ESA Ravenscar Benchmark

This article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS C implementation featuring the native threading model. ERB is original compared to existing Ada benchmarks, such as the ACES or the PIWG, not only because it is the first Ada Ravenscar benchmark, but also because it p...

Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT)

Ada has been successfully used in many dependable real−time applications, which have undoubtedly benefit of its major strengths: The well defined language semantics [1], the strong type checking, structuring mechanisms like packages and not to forget the Ada Semantic Interface Standard [2] supporting the development of code analysis, verification and testing tools. But an Ada system can not be ...

Supporting Ada 95 Passive Partitions in a Distributed Environment

Ada 95 passive partitions, containing passive library units, provide the means to distribute data within a network of workstations. This paper shows how passive partitions can be implemented via distributed shared virtual memory (DSM). DSM provides the logical view of a portion of memory shared between physically distributed workstations within a network. In this paper, we relate design issues ...

Implementing the Distributed Features of Ada 9x with Pvm

This extended abstract describes our experience in implementing the distributed features of Ada 9X in the GNAT compiler 7], a free Ada9X compiler which is part of the GCC compiler system. As members of the GNAT team, we have been working on the semantics of the distribution model for the language and have proposed a general implementation model. We have used PVM as a prototyping tool to validat...

Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems